221. Logic from computer science : proceedings of a workshop held November 13-17, 1989
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical--Congresses,، Computer science--Congresses
رده :
QA
9
.
A1
.
L64
1991
222. Logic from computer science : proceedings of a workshop held November 13-17, 1989
پدیدآورنده : Y.N. Moschovakis, editor
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
1
.
M3
v
.
21
223. Logic in Tehran : proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003
پدیدآورنده : edited by Ali Enayat, Iraj Kalantari, Mojtaba Moniri
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Arithmetic
رده :
QA
9
.
A1L44
Vol
.
26
224. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
225. Logic, language, information and computation
پدیدآورنده : Luke Ong, Ruy de Queiroz (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W64
2012eb
226. Logic, language, information, and computation :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
227. Logic, language, information, and computation :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
228. Logic, language, information and computation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Berechnungstheorie ; Logik ; Kongress ; Tokio <2009> ; Formale Methode ; Kongress ; Tokio <2009> ; Nat?rliche Sprache ; Formale Syntax ; Formale Grammatik ; Kongress ; Tokio <2009> ; Programmierlogik ; Kong
229. Logic, language, information, and computation :
پدیدآورنده : Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W67
2013
230. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
231. Logic, language, information, and computation :
پدیدآورنده : Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Language and logic, Congresses.,Logic, Symbolic and mathematical, Congresses.,Language and logic.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
W67
2019
232. Logic, language, information and computation
پدیدآورنده : Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W64
2009
233. Logic, language, information, and computation :
پدیدآورنده : Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Language and logic, Congresses.,Logic, Symbolic and mathematical, Congresses.,Language and logic.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
W67
2018eb
234. Logic, methodology and philosophy of science IV. Proceedings
پدیدآورنده : Ed. by Patrick Suppes )a. o.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Methodology,Congresses ، Science - Philosophy
رده :
BC
135
.
I55
1971
235. Logic, methodology, and philosophy of science IX
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Science ; Philosophy ; Congresses. ; Science ; Methodology ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
236. Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Science-- Philosophy-- Congresses,، Science-- Methodology-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
174
.
I58
1991
237. ***Logic, methodology and philosophy of science. Proceedings
پدیدآورنده : International Congress for Logic, Methodology, and Philosophy of Science )4th: 1791: Bucharest, Romania(
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Methodology-- Congresses,، Science-- Philosophy-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
238. Logic, methodology, and philosophy of science VI :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
239. Logic, methodology, and philosophy of science VI :
پدیدآورنده : edited by L. Jonathan Cohen ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses,Methodology-- Congresses,Science-- Philosophy-- Congresses
رده :
QA9
.
A1
I57
1979
